compat(T; l1; l2) == iseg(T; l1; l2)  iseg(T; l2; l1) 

latex

Definitions	P  Q, iseg(T; l1; l2)
FDL editor aliases	compat